$\forall$${\it es}$:ES, $i$, $x$, $y$:Id, $P$:(vartype($i$;$x$)$\rightarrow$vartype($i$;$y$)$\rightarrow\mathbb{P}$). @$i$ always.$P$($v_{1}$,$v_{2}$) $\in$ $\mathbb{P}$